Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
931	COMS11700 Beyond context-free languages Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:31 Pumping lemma for regular languages Context-free language Compact fluorescent lamp Formal languages Lemmas Pumping lemma for context-free languages
932	COMS11700 PDAs and CFGs Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:31 Compiler construction Context-free grammar Stack Compact fluorescent lamp Personal digital assistant Variable Mathematics Formal languages Software engineering Computing
933	Supplementary Material for: Neural representations of events arise from temporal community structure Anna C. Schapiro, Timothy T. Rogers, Natalia I. Cordova, Nicholas B. Turk-Browne, and Matthew M. Botvinick Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2013-02-17 16:56:36 Chunking Cognition Mnemonics Parsing Shallow parsing Bigram Science Mind Memory Compiler construction Formal languages
934	Weighted Automata for Proving Termination of String Rewriting Johannes Waldmann Hochschule fu ¨r Technik, Wirtschaft und Kultur (FH) Leipzig Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2006-03-30 05:05:27 Mathematics Computer science Regular language Rewriting String Ω-automaton Formal languages Theoretical computer science Automata theory
935	Jaccie-Tour Tool architecture Token Recognition Grammars and Parsing Attribute Evaluation Getting Started Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2011-10-25 12:09:39 Formal languages Software Parsing Pattern matching Compiler Lexical analysis Terminal and nonterminal symbols Attribute grammar SYNTAX Programming language implementation Compiler construction Software engineering
936	1 SIC’95 Report and User Manual SIC’95 Report and User Manual Lothar Schmitz Add to Reading List Source URL: www2.cs.unibw.de Language: English - Date: 2006-04-27 12:25:50 Computing Parsing Formal languages Compiling tools SYNTAX LL parser Compiler-compiler Lexical analysis LALR parser Programming language implementation Software engineering Compiler construction
937	Systematic Development of Programs for Parallel and Cloud Computing: Towards a Framework NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-10-30 02:04:09 Theoretical computer science Coq Mathematical logic Logic in computer science Proof assistant OCaml Formal verification Coenzyme Q10 Parallel computing Software Computing Functional languages
938	An Optimality Principle for Concurrent Systems Langford B White and Sarah L Hickmott School of Electrical and Electronic Engineering The University of Adelaide Australia {lwhite, shick}@eleceng.adelaide.edu.au Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:17 Dynamic programming Markov decision process Stochastic control Interpretation Logic Linear temporal logic Μ operator Statistics Formal languages Model theory
939	Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, Germany Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Applied mathematics Rewriting Semi-Thue system Structure Formal languages Theoretical computer science Mathematics
940	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science

UPDATE